Fix man page generation
authorJochen Sprickerhof <git@jochen.sprickerhof.de>
Tue, 24 Oct 2023 08:37:39 +0000 (10:37 +0200)
committerJochen Sprickerhof <git@jochen.sprickerhof.de>
Tue, 24 Oct 2023 08:37:39 +0000 (10:37 +0200)
commit2b754c681167a38e6b9bc6af11f537fe7c06b2bc
tree78abd3e464daf7cddacca2829d544761722e2978
parent1473a863a8e773ffb354483a9cdd6811fa111423
Fix man page generation
debian/patches/htmldoc-location